Baire's Category Theorem proof and application